1. Computer science logic :

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.

Classification :
QA75
.
5
H367
1996

2. Decision problems for equational theories of relation algebras

Author:

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Relation algebras,، Decidability )Mathematical logic(

Classification :
QA
3
.
A475
no
.
604

3. Multi-Dimensional Modal Logic

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).